Uma nota histórica à Lógica Mexicana de Antonio Rubio
نویسندگان
چکیده
Descreveremos nesse artigo, considerando os prefácios de suas várias edições, o contexto histórico composição e publicação da Lógica Mexicana Antonio Rubio Rueda (1548-1615), que teve incrível êxito na Europa durante a primeira metade do século XVII, principalmente devido ao seu conteúdo filosófico. Após breve descrição projeto “cursus philosophicus” Rubio, apresentaremos alguns aportes sobre sua carreira no México, introduziremos foi tratado nos seus livros com base neles comentaremos as motivações embasaram filosófico resultados publicação. Também acrescentaremos um apêndice uma tradução três trechos relevantes dos trabalho autor
منابع مشابه
C&L: Uma Ferramenta de Apoio à Engenharia de Requisitos
This paper presents an experimental tool to support requirements engineering activities. This tool, called C&L, is based on two techniques to model software requirements, Scenarios and the Extend Lexicon of the Language. C&L supports a cooperative process to edit Scenarios and the Lexicon. It aims to maintain the traceability between requirements and code. C&L is one of the Requirements Enginee...
متن کاملOpenReq: uma Ferramenta para Auxílio à Gerência de Requisitos
The activity of requirements specification demands considerable efforts from professionals that execute it. To accomplish the activity, it’s not enough to obtain the requirements with customers. It is necessary to have a clear and complete understanding of customer’s necessities. Considering the issues associated to requirement’s registration and management, and the necessity of process’s optim...
متن کاملFerramentas de Apoio à Criação e Edição de Ontologias: Tainacan Ontology e uma Análise Comparativa
With the need to handle large amounts of data on the web, and treat this data as significant knowledge, the Web of Data has migrated to a new paradigm, the Semantic Web. Ontologies composes the core of the semantic web, and to develop it is necessary to use tools called ontologies editors. This article presents a comparative analysis of these tools, focused on providing functionality based on O...
متن کاملUma Abordagem para Recomendação no Apoio à Modelagem de Processos de Negócio
In this paper, a methodology for Business Process Modeling support through Recommendation based on Similarity of Behavior is discussed and a set of techniques to support this methodology is provided. These techniques include the determination of the modeling solution space based on processe’s declarative specifications and the generation of recommendations by using this solution space as the re...
متن کاملParadoxos Modais e Lógicas da Inconsistência Formal
O trabalho a seguir é fruto de uma pesquisa de um ano na área de lógica formal, mais especificamente em lógica modal e lógica paraconsistente. O texto inicia com uma introdução à Logica Proposicional Clássica, primeiro sistema formal criado e que serve de fundamento a todos os demais sistemas. Há inúmeras obras a respeito do tema (vide [Church, 1956] e [Carnielli and Coniglio, 2006]), entretant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista da Faculdade de Direito da Universidade Federal do Rio Grande do Sul
سال: 2022
ISSN: ['0104-6594', '2595-6884']
DOI: https://doi.org/10.22456/0104-6594.124208